21. Automated Deduction – CADE-25
پدیدآورنده: \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
22. Beyond first order model theory
پدیدآورنده: \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
23. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده: \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
24. Discovering Patterns in Mathematics and Poetry
پدیدآورنده: \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
25. Elementary logic
پدیدآورنده: / Benson Mates
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: منطق ریاضی,Logic , Symbolic and mathematical
رده :
BC135
.
M37
26. Elements of Logical Reasoning
پدیدآورنده: / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
27. Encyclopedia of Ethics and Logic
پدیدآورنده: / edited by John H. Piet and Ayodhya Prasad
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,اخ‍لاق -- دای‍ره ال‍م‍ع‍ارف‍ه‍ا,منطق ریاضی,ام‍ورج‍ن‍س‍ی -- اخ‍لاق,اخ‍لاق -- ت‍اری‍خ,زبان و منطق
رده :
BC
۹
/
ال
ف
۸۴ ۱۳۷۹
28. Equality,Resemblancc,and Order
پدیدآورنده: /Ju. A. Schreider
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
ش
۴
الف
۷ ۱۳۵۴
29. Essays on Frege
پدیدآورنده: / edited by E. D. Klemke.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ف‍رگ,Frege,، گ‍ات‍لاب,, Gottlob,، ۱۸۴۸ - ۱۹۲۵م.,منطق ریاضی
رده :
QA
۲۹
/
ف
۴
ک
۸ ۱۳۴۷
30. Essays on the Foundations of Mathematics
پدیدآورنده: \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
31. Frege's Theorem
پدیدآورنده: \ Richard G. Heck, Jr
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
32. From Mathematics to Philosophy
پدیدآورنده: \ Hao Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
33. Frontiers of Combining Systems
پدیدآورنده: \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
34. Fundamentals of Critical Argumentation
پدیدآورنده: / Douglas N. Walton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
35. Fundamentals of symbolic logic
پدیدآورنده: / Alice Ambrose and Morris Lazerowitz.,ام‍ب‍روز,Ambrose
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
BC
۱۳۵
/
الف
۸
ف
۲ ۱۳۴۱
36. Fuzzy Logic and Mathematics
پدیدآورنده: \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
37. Handbook of Logic in Computer Science
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
38. Handbook of Spatial Logics
پدیدآورنده: \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
39. Handbook of logic and language
پدیدآورنده: / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
40. Interactive Theorem Proving
پدیدآورنده: \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
